AN EXTENSION AND FORMALIZATION OF A SPECIFICATION LANGUAGE FOR MIXED-INITIATIVE, HUMAN-COMPUTER DIALOGUES
- Project Research
- 1-5 Chapters
- Abstract : Available
- Table of Content: Available
- Reference Style: APA
- Recommended for : Student Researchers
- NGN 5000
ABSTRACT
The use of human-computer dialogue is playing an increasingly prominent role in interactions conducted at kiosks (e.g., withdrawing money from an atm), on smart phones (e.g., booking a flight), and on the web (e.g., customer service chatbots). Some humancomputer dialogues involve an lively exchange of system-initiated and user-initiated actions. These dialogues are called mixed-initiative dialogues and also sometimes involve the pursuit of multiple sub-dialogue threads at once, which are woven together in a manner akin to concurrently executing threads. However, existing dialogue specification languages have difficulty expressing these dialogues concisely. In this work, we improve the expressiveness of a dialogue authoring language based on programming language concepts (e.g., curried functions) by augmenting it with additional high-level abstractions to support concise specification of task-based, mixed-initiative dialogues that resemble concurrently executing threads. We also formalize the process of simplifying and staging such dialogues specified in the augmented language using notions from discrete mathematics. We demonstrate that dialogue specifications written in the original authoring language can be compressed by rewriting them using the new abstractions. We also operationalize the formally specified dialogue simplification and staging rules in a Haskell programming implementation. The augmented dialogue authoring language is evaluated from practical (i.e., case study), 3 conceptual (i.e., comparisons to similar systems such as VoiceXML), and theoretical perspectives. The results indicate that the augmented language enables concise representation of dialogues composed of multiple concurrent sub-dialogues and improves the compression of dialogue expressions reported in prior research. The Haskell implementation of the simplification/staging rules provides a proof of concept that the formal semantics are sufficient to implement a dialogue system specified with the augmented language.
Related Project Materials
An Examination of Undernutrition and Stunting in Children Under Five in Kebbi State
Background of the Study
Undernutrition, particularly stunting, remains a significant public health ch...
PROSPECT AND CHALLENGES OF REGIONAL INTEGRATION IN WEST AFRICA (A QUALITATIVE STUDY)
ABSTRACT
There are a number of peculiar features in West Africa which have definitely influenced trends...
APPLICATION OF SHORTHAND SKILL IN TODAYS BUSINESS OFFICES
ABSTRACT
For the effective discharge of their duties, professional secretaries must have a mastery of t...
The impact of financial crimes on economic growth in Abakaliki Local Government Area, Ebonyi State
Background of the Study
Financial crimes, including fraud, embezzlement, and money laundering, have far-reaching implicati...
An Appraisal of Nurses’ Preparedness in Managing Sepsis in Critical Care Units of Borno State Teaching Hospital
Background of the Study
Sepsis remains a leading cause of morbidity and mortality in critical care se...
THE EFFECTS OF EARLY CHILDHOOD EDUCATION ON CULTURAL SENSITIVITY IN DIVERSE COMMUNITIES
ABSTRACT: The effects of early childhood education on cultural sensi...
IMPACT OF ADULT EDUCATION ON REDUCING GENDER DISPARITIES
Abstract: The research explores the impact of adult education on reducing gender disparities. This study aimed to investigate how adult educat...
The Role of Digital Media in Promoting Volunteerism in Lafia North Local Government Area, Nasarawa State
Chapter One: Introduction
CONTRIBUTION OF SMALL AND MEDIUM SCALE ENTERPRISES TO ECONOMIC DEVELOPMENT OF NIGERIA
ABSTRACT
The contribution of Small and Medium Scale Enterprises (SMEs) has been recognized as main sust...
The influence of adult education on the economic empowerment of disabled persons in Minna Local Government Area, Niger State
Background of the Study
Economic empowerment is a cornerstone of sustainable development, particularly for marginalized gro...
